(declare-const i0 Int)
(declare-const i6 Int)
(declare-const i8 Int)
(declare-const r7 Real)
(declare-const arr0 (Array Real Real))
(declare-const arr1 (Array Int Bool))
(assert (distinct (store arr0 0.0 0.0) (store (store (store arr0 0.0 r7) 8.1015908 (to_real i8)) 39.0 2865.0)))
(assert (select (store arr1 i0 false) (abs i6)))
(check-sat)
